{ .x = REAL(FN32(0x1.b38fb8p-127), FN64(0x1.b38fb9daa78e4p-127), FN80(0x1.b38fb9daa78e44acp-127), FN128(0x1.b38fb9daa78e44ab2dcf7a6b1921p-127)), .y = REAL(FN32(-0x1.f8eedep6), FN64(-0x1.f8eeddb407217p6), FN80(-0x1.f8eeddb407216a1cp6), FN128(-0x1.f8eeddb407216a1bedc86a9e5882p6)) },
{ .x = REAL(FN32(0x1.46abccp-125), FN64(0x1.46abcb63fdaabp-125), FN80(0x1.46abcb63fdaab38p-125), FN128(0x1.46abcb63fdaab380625b9bd052d8p-125)), .y = REAL(FN32(-0x1.f297dep6), FN64(-0x1.f297dd4b1f321p6), FN80(-0x1.f297dd4b1f320ffep6), FN128(-0x1.f297dd4b1f320ffd6f483e563067p6)) },
{ .x = REAL(FN32(0x1.ea01b2p-124), FN64(0x1.ea01b115fc801p-124), FN80(0x1.ea01b115fc800d4p-124), FN128(0x1.ea01b115fc800d40938969b87c45p-124)), .y = REAL(FN32(-0x1.ec40dcp6), FN64(-0x1.ec40dce23742bp6), FN80(-0x1.ec40dce23742b5dep6), FN128(-0x1.ec40dce23742b5def0c8120e084dp6)) },
{ .x = REAL(FN32(0x1.6f8144p-122), FN64(0x1.6f8144d07d601p-122), FN80(0x1.6f8144d07d6009fp-122), FN128(0x1.6f8144d07d6009f06ea70f4a5d33p-122)), .y = REAL(FN32(-0x1.e5e9dcp6), FN64(-0x1.e5e9dc794f536p6), FN80(-0x1.e5e9dc794f535bcp6), FN128(-0x1.e5e9dc794f535bc07247e5c5e033p6)) },
{ .x = REAL(FN32(0x1.13a0f4p-120), FN64(0x1.13a0f39c5e08p-120), FN80(0x1.13a0f39c5e080774p-120), FN128(0x1.13a0f39c5e08077452fd4b77c5e7p-120)), .y = REAL(FN32(-0x1.df92dcp6), FN64(-0x1.df92dc106764p6), FN80(-0x1.df92dc10676401a2p6), FN128(-0x1.df92dc10676401a1f3c7b97db819p6)) },
{ .x = REAL(FN32(0x1.9d716ep-119), FN64(0x1.9d716d6a8d0c1p-119), FN80(0x1.9d716d6a8d0c0b2ep-119), FN128(0x1.9d716d6a8d0c0b2e7c7bf133a8dap-119)), .y = REAL(FN32(-0x1.d93bdcp6), FN64(-0x1.d93bdba77f74ap6), FN80(-0x1.d93bdba77f74a784p6), FN128(-0x1.d93bdba77f74a78375478d358fffp6)) },
{ .x = REAL(FN32(0x1.361512p-117), FN64(0x1.3615120fe9c91p-117), FN80(0x1.3615120fe9c90862p-117), FN128(0x1.3615120fe9c90862dd5cf4e6bea3p-117)), .y = REAL(FN32(-0x1.d2e4dcp6), FN64(-0x1.d2e4db3e97855p6), FN80(-0x1.d2e4db3e97854d64p6), FN128(-0x1.d2e4db3e97854d64f6c760ed67e5p6)) },
{ .x = REAL(FN32(0x1.d11f9cp-116), FN64(0x1.d11f9b17dead9p-116), FN80(0x1.d11f9b17dead8c94p-116), FN128(0x1.d11f9b17dead8c944c0b6f5a1df5p-116)), .y = REAL(FN32(-0x1.cc8ddap6), FN64(-0x1.cc8ddad5af95fp6), FN80(-0x1.cc8ddad5af95f346p6), FN128(-0x1.cc8ddad5af95f346784734a53fcap6)) },
{ .x = REAL(FN32(0x1.5cd7b4p-114), FN64(0x1.5cd7b451e7023p-114), FN80(0x1.5cd7b451e702297p-114), FN128(0x1.5cd7b451e702296f390893839678p-114)), .y = REAL(FN32(-0x1.c636dap6), FN64(-0x1.c636da6cc7a6ap6), FN80(-0x1.c636da6cc7a69928p6), FN128(-0x1.c636da6cc7a69927f9c7085d17bp6)) },
{ .x = REAL(FN32(0x1.05a1c8p-112), FN64(0x1.05a1c73d6d41ap-112), FN80(0x1.05a1c73d6d419f14p-112), FN128(0x1.05a1c73d6d419f136ac66ea2b0dap-112)), .y = REAL(FN32(-0x1.bfdfdap6), FN64(-0x1.bfdfda03dfb74p6), FN80(-0x1.bfdfda03dfb73f0ap6), FN128(-0x1.bfdfda03dfb73f097b46dc14ef96p6)) },
{ .x = REAL(FN32(0x1.8872aap-111), FN64(0x1.8872aadc23e27p-111), FN80(0x1.8872aadc23e26e9ep-111), FN128(0x1.8872aadc23e26e9d2029a5f40947p-111)), .y = REAL(FN32(-0x1.b988dap6), FN64(-0x1.b988d99af7c7ep6), FN80(-0x1.b988d99af7c7e4eap6), FN128(-0x1.b988d99af7c7e4eafcc6afccc77cp6)) },
{ .x = REAL(FN32(0x1.2656p-109), FN64(0x1.265600251ae9dp-109), FN80(0x1.265600251ae9d2f6p-109), FN128(0x1.265600251ae9d2f5d81f3c7706f5p-109)), .y = REAL(FN32(-0x1.b331dap6), FN64(-0x1.b331d9320fd89p6), FN80(-0x1.b331d9320fd88accp6), FN128(-0x1.b331d9320fd88acc7e4683849f62p6)) },
{ .x = REAL(FN32(0x1.b981p-108), FN64(0x1.b9810037a85ecp-108), FN80(0x1.b9810037a85ebc7p-108), FN128(0x1.b9810037a85ebc70c42edab28a7p-108)), .y = REAL(FN32(-0x1.acdad8p6), FN64(-0x1.acdad8c927e93p6), FN80(-0x1.acdad8c927e930aep6), FN128(-0x1.acdad8c927e930adffc6573c7747p6)) },
{ .x = REAL(FN32(0x1.4b20cp-106), FN64(0x1.4b20c029be471p-106), FN80(0x1.4b20c029be470d54p-106), FN128(0x1.4b20c029be470d5493232405e7d4p-106)), .y = REAL(FN32(-0x1.a683d8p6), FN64(-0x1.a683d8603ff9dp6), FN80(-0x1.a683d8603ff9d69p6), FN128(-0x1.a683d8603ff9d68f81462af44f2dp6)) },
{ .x = REAL(FN32(0x1.f0b12p-105), FN64(0x1.f0b1203e9d6a9p-105), FN80(0x1.f0b1203e9d6a93fep-105), FN128(0x1.f0b1203e9d6a93fedcb4b608dbbep-105)), .y = REAL(FN32(-0x1.a02cd8p6), FN64(-0x1.a02cd7f7580a8p6), FN80(-0x1.a02cd7f7580a7c72p6), FN128(-0x1.a02cd7f7580a7c7102c5feac2713p6)) },
{ .x = REAL(FN32(0x1.7484d8p-103), FN64(0x1.7484d82ef60ffp-103), FN80(0x1.7484d82ef60fefp-103), FN128(0x1.7484d82ef60feeff25878886a4cep-103)), .y = REAL(FN32(-0x1.99d5d8p6), FN64(-0x1.99d5d78e701b2p6), FN80(-0x1.99d5d78e701b2252p6), FN128(-0x1.99d5d78e701b22528445d263fef9p6)) },
{ .x = REAL(FN32(0x1.1763a2p-101), FN64(0x1.1763a223388bfp-101), FN80(0x1.1763a223388bf34p-101), FN128(0x1.1763a223388bf33f5c25a664fb9bp-101)), .y = REAL(FN32(-0x1.937ed8p6), FN64(-0x1.937ed725882bdp6), FN80(-0x1.937ed725882bc834p6), FN128(-0x1.937ed725882bc83405c5a61bd6dfp6)) },
{ .x = REAL(FN32(0x1.a31574p-100), FN64(0x1.a3157334d4d1fp-100), FN80(0x1.a3157334d4d1ecep-100), FN128(0x1.a3157334d4d1ecdf0a3879977968p-100)), .y = REAL(FN32(-0x1.8d27d6p6), FN64(-0x1.8d27d6bca03c7p6), FN80(-0x1.8d27d6bca03c6e16p6), FN128(-0x1.8d27d6bca03c6e15874579d3aec5p6)) },
{ .x = REAL(FN32(0x1.3a5016p-98), FN64(0x1.3a5016679f9d7p-98), FN80(0x1.3a5016679f9d71a8p-98), FN128(0x1.3a5016679f9d71a747aa5b319b0ep-98)), .y = REAL(FN32(-0x1.86d0d6p6), FN64(-0x1.86d0d653b84d1p6), FN80(-0x1.86d0d653b84d13f8p6), FN128(-0x1.86d0d653b84d13f708c54d8b86aap6)) },
{ .x = REAL(FN32(0x1.d77822p-97), FN64(0x1.d778219b6f6c3p-97), FN80(0x1.d778219b6f6c2a7ap-97), FN128(0x1.d778219b6f6c2a7aeb7f88ca6895p-97)), .y = REAL(FN32(-0x1.8079d6p6), FN64(-0x1.8079d5ead05dcp6), FN80(-0x1.8079d5ead05db9d8p6), FN128(-0x1.8079d5ead05db9d88a4521435e9p6)) },
{ .x = REAL(FN32(0x1.619a1ap-95), FN64(0x1.619a193493912p-95), FN80(0x1.619a193493911fdcp-95), FN128(0x1.619a193493911fdc309fa697ce7p-95)), .y = REAL(FN32(-0x1.7a22d6p6), FN64(-0x1.7a22d581e86e6p6), FN80(-0x1.7a22d581e86e5fbap6), FN128(-0x1.7a22d581e86e5fba0bc4f4fb3676p6)) },
{ .x = REAL(FN32(0x1.093392p-93), FN64(0x1.093392e76eacdp-93), FN80(0x1.093392e76eacd7e6p-93), FN128(0x1.093392e76eacd7e52477bcf1dad4p-93)), .y = REAL(FN32(-0x1.73cbd6p6), FN64(-0x1.73cbd519007fp6), FN80(-0x1.73cbd519007f059cp6), FN128(-0x1.73cbd519007f059b8d44c8b30e5cp6)) },
{ .x = REAL(FN32(0x1.8dcd5cp-92), FN64(0x1.8dcd5c5b26034p-92), FN80(0x1.8dcd5c5b260343d8p-92), FN128(0x1.8dcd5c5b260343d7b6b39b6ac83ep-92)), .y = REAL(FN32(-0x1.6d74d4p6), FN64(-0x1.6d74d4b0188fbp6), FN80(-0x1.6d74d4b0188fab7ep6), FN128(-0x1.6d74d4b0188fab7d0ec49c6ae642p6)) },
{ .x = REAL(FN32(0x1.2a5a06p-90), FN64(0x1.2a5a05445c827p-90), FN80(0x1.2a5a05445c8272e2p-90), FN128(0x1.2a5a05445c8272e1c906b490162ep-90)), .y = REAL(FN32(-0x1.671dd4p6), FN64(-0x1.671dd44730a05p6), FN80(-0x1.671dd44730a0515ep6), FN128(-0x1.671dd44730a0515e90447022be27p6)) },
{ .x = REAL(FN32(0x1.bf8708p-89), FN64(0x1.bf8707e68ac3bp-89), FN80(0x1.bf8707e68ac3ac52p-89), FN128(0x1.bf8707e68ac3ac52ad8a0ed82145p-89)), .y = REAL(FN32(-0x1.60c6d4p6), FN64(-0x1.60c6d3de48b0fp6), FN80(-0x1.60c6d3de48b0f74p6), FN128(-0x1.60c6d3de48b0f74011c443da960dp6)) },
{ .x = REAL(FN32(0x1.4fa546p-87), FN64(0x1.4fa545ece812cp-87), FN80(0x1.4fa545ece812c13ep-87), FN128(0x1.4fa545ece812c13e02278b2218f4p-87)), .y = REAL(FN32(-0x1.5a6fd4p6), FN64(-0x1.5a6fd37560c1ap6), FN80(-0x1.5a6fd37560c19d22p6), FN128(-0x1.5a6fd37560c19d21934417926df3p6)) },
{ .x = REAL(FN32(0x1.f777e8p-86), FN64(0x1.f777e8e35c1c2p-86), FN80(0x1.f777e8e35c1c21dep-86), FN128(0x1.f777e8e35c1c21dd033b50b3256ep-86)), .y = REAL(FN32(-0x1.5418d4p6), FN64(-0x1.5418d30c78d24p6), FN80(-0x1.5418d30c78d24304p6), FN128(-0x1.5418d30c78d2430314c3eb4a45d9p6)) },
{ .x = REAL(FN32(0x1.7999eep-84), FN64(0x1.7999eeaa85152p-84), FN80(0x1.7999eeaa85151966p-84), FN128(0x1.7999eeaa85151965c26c7c865c13p-84)), .y = REAL(FN32(-0x1.4dc1d2p6), FN64(-0x1.4dc1d2a390e2fp6), FN80(-0x1.4dc1d2a390e2e8e4p6), FN128(-0x1.4dc1d2a390e2e8e49643bf021dbfp6)) },
{ .x = REAL(FN32(0x1.1b3372p-82), FN64(0x1.1b3372ffe3cfdp-82), FN80(0x1.1b3372ffe3cfd30cp-82), FN128(0x1.1b3372ffe3cfd30c51d15d64c50ep-82)), .y = REAL(FN32(-0x1.476ad2p6), FN64(-0x1.476ad23aa8f39p6), FN80(-0x1.476ad23aa8f38ec6p6), FN128(-0x1.476ad23aa8f38ec617c392b9f5a5p6)) },
{ .x = REAL(FN32(0x1.a8cd2cp-81), FN64(0x1.a8cd2c7fd5b7cp-81), FN80(0x1.a8cd2c7fd5b7bc92p-81), FN128(0x1.a8cd2c7fd5b7bc927aba0c172795p-81)), .y = REAL(FN32(-0x1.4113d2p6), FN64(-0x1.4113d1d1c1043p6), FN80(-0x1.4113d1d1c10434a8p6), FN128(-0x1.4113d1d1c10434a799436671cd8ap6)) },
{ .x = REAL(FN32(0x1.3e99e2p-79), FN64(0x1.3e99e15fe049dp-79), FN80(0x1.3e99e15fe049cd6ep-79), FN128(0x1.3e99e15fe049cd6ddc0b89115dbp-79)), .y = REAL(FN32(-0x1.3abcd2p6), FN64(-0x1.3abcd168d914ep6), FN80(-0x1.3abcd168d914da8ap6), FN128(-0x1.3abcd168d914da891ac33a29a57p6)) },
{ .x = REAL(FN32(0x1.dde6d2p-78), FN64(0x1.dde6d20fd06ebp-78), FN80(0x1.dde6d20fd06eb424p-78), FN128(0x1.dde6d20fd06eb424ca114d9a0c88p-78)), .y = REAL(FN32(-0x1.3465d2p6), FN64(-0x1.3465d0fff1258p6), FN80(-0x1.3465d0fff125806ap6), FN128(-0x1.3465d0fff125806a9c430de17d56p6)) },
{ .x = REAL(FN32(0x1.666d1ep-76), FN64(0x1.666d1d8bdc53p-76), FN80(0x1.666d1d8bdc53071cp-76), FN128(0x1.666d1d8bdc53071b978cfa338966p-76)), .y = REAL(FN32(-0x1.2e0edp6), FN64(-0x1.2e0ed09709362p6), FN80(-0x1.2e0ed0970936264cp6), FN128(-0x1.2e0ed0970936264c1dc2e199553cp6)) },
{ .x = REAL(FN32(0x1.0cd1d6p-74), FN64(0x1.0cd1d628e53e4p-74), FN80(0x1.0cd1d628e53e4554p-74), FN128(0x1.0cd1d628e53e4554b1a9bba6a70cp-74)), .y = REAL(FN32(-0x1.27b7dp6), FN64(-0x1.27b7d02e2146dp6), FN80(-0x1.27b7d02e2146cc2ep6), FN128(-0x1.27b7d02e2146cc2d9f42b5512d22p6)) },
{ .x = REAL(FN32(0x1.933ac2p-73), FN64(0x1.933ac13d57dd6p-73), FN80(0x1.933ac13d57dd68p-73), FN128(0x1.933ac13d57dd67ff0a7e9979fa92p-73)), .y = REAL(FN32(-0x1.2160dp6), FN64(-0x1.2160cfc539577p6), FN80(-0x1.2160cfc53957721p6), FN128(-0x1.2160cfc53957720f20c289090507p6)) },
{ .x = REAL(FN32(0x1.2e6c1p-71), FN64(0x1.2e6c10ee01e61p-71), FN80(0x1.2e6c10ee01e60ep-71), FN128(0x1.2e6c10ee01e60dff47def31b7beep-71)), .y = REAL(FN32(-0x1.1b09dp6), FN64(-0x1.1b09cf5c51681p6), FN80(-0x1.1b09cf5c516817fp6), FN128(-0x1.1b09cf5c516817f0a2425cc0dcedp6)) },
{ .x = REAL(FN32(0x1.c5a21ap-70), FN64(0x1.c5a2196502d91p-70), FN80(0x1.c5a2196502d914fep-70), FN128(0x1.c5a2196502d914feebce6ca939e5p-70)), .y = REAL(FN32(-0x1.14b2cep6), FN64(-0x1.14b2cef36978cp6), FN80(-0x1.14b2cef36978bdd2p6), FN128(-0x1.14b2cef36978bdd223c23078b4d3p6)) },
{ .x = REAL(FN32(0x1.543994p-68), FN64(0x1.5439930bc222dp-68), FN80(0x1.5439930bc222cfcp-68), FN128(0x1.5439930bc222cfbf30dad17eeb6cp-68)), .y = REAL(FN32(-0x1.0e5bcep6), FN64(-0x1.0e5bce8a81896p6), FN80(-0x1.0e5bce8a818963b4p6), FN128(-0x1.0e5bce8a818963b3a54204308cb9p6)) },
{ .x = REAL(FN32(0x1.fe565cp-67), FN64(0x1.fe565c91a3343p-67), FN80(0x1.fe565c91a334379ep-67), FN128(0x1.fe565c91a334379ec9483a3e6121p-67)), .y = REAL(FN32(-0x1.0804cep6), FN64(-0x1.0804ce21999a1p6), FN80(-0x1.0804ce21999a0996p6), FN128(-0x1.0804ce21999a099526c1d7e8649fp6)) },
{ .x = REAL(FN32(0x1.7ec0c6p-65), FN64(0x1.7ec0c56d3a673p-65), FN80(0x1.7ec0c56d3a6729b8p-65), FN128(0x1.7ec0c56d3a6729b716f62baec8d9p-65)), .y = REAL(FN32(-0x1.01adcep6), FN64(-0x1.01adcdb8b1aabp6), FN80(-0x1.01adcdb8b1aaaf76p6), FN128(-0x1.01adcdb8b1aaaf76a841aba03c85p6)) },
{ .x = REAL(FN32(0x1.1f1094p-63), FN64(0x1.1f109411ebcd6p-63), FN80(0x1.1f109411ebcd5f4ap-63), FN128(0x1.1f109411ebcd5f495138a0c316a3p-63)), .y = REAL(FN32(-0x1.f6ad9ap5), FN64(-0x1.f6ad9a9f9376bp5), FN80(-0x1.f6ad9a9f9376aabp5), FN128(-0x1.f6ad9a9f9376aab05382feb028d5p5)) },
{ .x = REAL(FN32(0x1.ae98dep-62), FN64(0x1.ae98de1ae1b41p-62), FN80(0x1.ae98de1ae1b40eeep-62), FN128(0x1.ae98de1ae1b40eedf9d4f124a1f4p-62)), .y = REAL(FN32(-0x1.e9ff9ap5), FN64(-0x1.e9ff99cdc397fp5), FN80(-0x1.e9ff99cdc397f674p5), FN128(-0x1.e9ff99cdc397f6735682a61fd8ap5)) },
{ .x = REAL(FN32(0x1.42f2a6p-60), FN64(0x1.42f2a69429471p-60), FN80(0x1.42f2a69429470b32p-60), FN128(0x1.42f2a69429470b327b5fb4db7977p-60)), .y = REAL(FN32(-0x1.dd519ap5), FN64(-0x1.dd5198fbf3b94p5), FN80(-0x1.dd5198fbf3b94236p5), FN128(-0x1.dd5198fbf3b9423659824d8f886cp5)) },
{ .x = REAL(FN32(0x1.e46bfap-59), FN64(0x1.e46bf9de3dea9p-59), FN80(0x1.e46bf9de3dea90ccp-59), FN128(0x1.e46bf9de3dea90cbb90f8f493633p-59)), .y = REAL(FN32(-0x1.d0a398p5), FN64(-0x1.d0a3982a23da9p5), FN80(-0x1.d0a3982a23da8dfap5), FN128(-0x1.d0a3982a23da8df95c81f4ff3838p5)) },
{ .x = REAL(FN32(0x1.6b50fcp-57), FN64(0x1.6b50fb66ae6ffp-57), FN80(0x1.6b50fb66ae6fec98p-57), FN128(0x1.6b50fb66ae6fec98cacbab76e8a6p-57)), .y = REAL(FN32(-0x1.c3f598p5), FN64(-0x1.c3f5975853fbep5), FN80(-0x1.c3f5975853fbd9bcp5), FN128(-0x1.c3f5975853fbd9bc5f819c6ee803p5)) },
{ .x = REAL(FN32(0x1.107cbcp-55), FN64(0x1.107cbc8d02d3fp-55), FN80(0x1.107cbc8d02d3f172p-55), FN128(0x1.107cbc8d02d3f1729818c0992e7cp-55)), .y = REAL(FN32(-0x1.b74796p5), FN64(-0x1.b7479686841d2p5), FN80(-0x1.b7479686841d258p5), FN128(-0x1.b7479686841d257f628143de97cfp5)) },
{ .x = REAL(FN32(0x1.98bb1ap-54), FN64(0x1.98bb1ad3843dfp-54), FN80(0x1.98bb1ad3843dea2cp-54), FN128(0x1.98bb1ad3843dea2be42520e5c5bbp-54)), .y = REAL(FN32(-0x1.aa9996p5), FN64(-0x1.aa9995b4b43e7p5), FN80(-0x1.aa9995b4b43e7142p5), FN128(-0x1.aa9995b4b43e71426580eb4e479bp5)) },
{ .x = REAL(FN32(0x1.328c54p-52), FN64(0x1.328c541ea32e7p-52), FN80(0x1.328c541ea32e6fap-52), FN128(0x1.328c541ea32e6fa0eb1bd8ac544cp-52)), .y = REAL(FN32(-0x1.9deb94p5), FN64(-0x1.9deb94e2e45fcp5), FN80(-0x1.9deb94e2e45fbd06p5), FN128(-0x1.9deb94e2e45fbd05688092bdf766p5)) },
{ .x = REAL(FN32(0x1.cbd27ep-51), FN64(0x1.cbd27e2df4c5ap-51), FN80(0x1.cbd27e2df4c5a772p-51), FN128(0x1.cbd27e2df4c5a77160a9c5027e72p-51)), .y = REAL(FN32(-0x1.913d94p5), FN64(-0x1.913d941114811p5), FN80(-0x1.913d9411148108c8p5), FN128(-0x1.913d9411148108c86b803a2da732p5)) },
{ .x = REAL(FN32(0x1.58dddep-49), FN64(0x1.58dddea277944p-49), FN80(0x1.58dddea277943d96p-49), FN128(0x1.58dddea277943d95087f53c1ded6p-49)), .y = REAL(FN32(-0x1.848f94p5), FN64(-0x1.848f933f44a25p5), FN80(-0x1.848f933f44a2548cp5), FN128(-0x1.848f933f44a2548b6e7fe19d56fdp5)) },
{ .x = REAL(FN32(0x1.02a666p-47), FN64(0x1.02a666f9d9af3p-47), FN80(0x1.02a666f9d9af2e3p-47), FN128(0x1.02a666f9d9af2e2fc65f7ed1672p-47)), .y = REAL(FN32(-0x1.77e192p5), FN64(-0x1.77e1926d74c3ap5), FN80(-0x1.77e1926d74c3a04ep5), FN128(-0x1.77e1926d74c3a04e717f890d06c9p5)) },
{ .x = REAL(FN32(0x1.83f99ap-46), FN64(0x1.83f99a76c686cp-46), FN80(0x1.83f99a76c686c548p-46), FN128(0x1.83f99a76c686c547a98f3e3a1abp-46)), .y = REAL(FN32(-0x1.6b3392p5), FN64(-0x1.6b33919ba4e4fp5), FN80(-0x1.6b33919ba4e4ec12p5), FN128(-0x1.6b33919ba4e4ec11747f307cb695p5)) },
{ .x = REAL(FN32(0x1.22fb34p-44), FN64(0x1.22fb33d914e51p-44), FN80(0x1.22fb33d914e513f6p-44), FN128(0x1.22fb33d914e513f5bf2b6eab9404p-44)), .y = REAL(FN32(-0x1.5e859p5), FN64(-0x1.5e8590c9d5063p5), FN80(-0x1.5e8590c9d50637d4p5), FN128(-0x1.5e8590c9d50637d4777ed7ec666p5)) },
{ .x = REAL(FN32(0x1.b478cep-43), FN64(0x1.b478cdc59f57ap-43), FN80(0x1.b478cdc59f579dfp-43), FN128(0x1.b478cdc59f579df09ec126015e06p-43)), .y = REAL(FN32(-0x1.51d79p5), FN64(-0x1.51d78ff805278p5), FN80(-0x1.51d78ff805278398p5), FN128(-0x1.51d78ff8052783977a7e7f5c162cp5)) },
{ .x = REAL(FN32(0x1.475a9ap-41), FN64(0x1.475a9a543781bp-41), FN80(0x1.475a9a543781b674p-41), FN128(0x1.475a9a543781b6747710dc810685p-41)), .y = REAL(FN32(-0x1.45299p5), FN64(-0x1.45298f263548dp5), FN80(-0x1.45298f263548cf5ap5), FN128(-0x1.45298f263548cf5a7d7e26cbc5f8p5)) },
{ .x = REAL(FN32(0x1.eb07e8p-40), FN64(0x1.eb07e77e53429p-40), FN80(0x1.eb07e77e534291aep-40), FN128(0x1.eb07e77e534291aeb2994ac189c7p-40)), .y = REAL(FN32(-0x1.387b8ep5), FN64(-0x1.387b8e54656a2p5), FN80(-0x1.387b8e54656a1b1ep5), FN128(-0x1.387b8e54656a1b1d807dce3b75c3p5)) },
{ .x = REAL(FN32(0x1.7045eep-38), FN64(0x1.7045ed9ebe71fp-38), FN80(0x1.7045ed9ebe71ed44p-38), FN128(0x1.7045ed9ebe71ed4305f2f8112755p-38)), .y = REAL(FN32(-0x1.2bcd8ep5), FN64(-0x1.2bcd8d82958b6p5), FN80(-0x1.2bcd8d82958b66ep5), FN128(-0x1.2bcd8d82958b66e0837d75ab258fp5)) },
{ .x = REAL(FN32(0x1.143472p-36), FN64(0x1.143472370ed57p-36), FN80(0x1.143472370ed571f2p-36), FN128(0x1.143472370ed571f244763a0cdd8p-36)), .y = REAL(FN32(-0x1.1f1f8cp5), FN64(-0x1.1f1f8cb0c5acbp5), FN80(-0x1.1f1f8cb0c5acb2a4p5), FN128(-0x1.1f1f8cb0c5acb2a3867d1d1ad55bp5)) },
{ .x = REAL(FN32(0x1.9e4eacp-35), FN64(0x1.9e4eab5296403p-35), FN80(0x1.9e4eab5296402aecp-35), FN128(0x1.9e4eab5296402aeb66b157134c4p-35)), .y = REAL(FN32(-0x1.12718cp5), FN64(-0x1.12718bdef5cep5), FN80(-0x1.12718bdef5cdfe66p5), FN128(-0x1.12718bdef5cdfe66897cc48a8526p5)) },
{ .x = REAL(FN32(0x1.36bbp-33), FN64(0x1.36bb007df0b02p-33), FN80(0x1.36bb007df0b0203p-33), FN128(0x1.36bb007df0b020308d05014e793p-33)), .y = REAL(FN32(-0x1.05c38cp5), FN64(-0x1.05c38b0d25ef5p5), FN80(-0x1.05c38b0d25ef4a2ap5), FN128(-0x1.05c38b0d25ef4a298c7c6bfa34f2p5)) },
{ .x = REAL(FN32(0x1.d2188p-32), FN64(0x1.d21880bce9083p-32), FN80(0x1.d21880bce9083048p-32), FN128(0x1.d21880bce9083048d38781f5b5c8p-32)), .y = REAL(FN32(-0x1.f22b14p4), FN64(-0x1.f22b1476ac213p4), FN80(-0x1.f22b1476ac212bdap4), FN128(-0x1.f22b1476ac212bd91ef826d3c97bp4)) },
{ .x = REAL(FN32(0x1.5d926p-30), FN64(0x1.5d92608daec62p-30), FN80(0x1.5d92608daec62436p-30), FN128(0x1.5d92608daec624369ea5a1784856p-30)), .y = REAL(FN32(-0x1.d8cf12p4), FN64(-0x1.d8cf12d30c63cp4), FN80(-0x1.d8cf12d30c63c36p4), FN128(-0x1.d8cf12d30c63c35f24f775b32912p4)) },
{ .x = REAL(FN32(0x1.062dc8p-28), FN64(0x1.062dc86a4314ap-28), FN80(0x1.062dc86a43149b28p-28), FN128(0x1.062dc86a43149b28f6fc391a364p-28)), .y = REAL(FN32(-0x1.bf7312p4), FN64(-0x1.bf73112f6ca66p4), FN80(-0x1.bf73112f6ca65ae6p4), FN128(-0x1.bf73112f6ca65ae52af6c49288a9p4)) },
{ .x = REAL(FN32(0x1.8944acp-27), FN64(0x1.8944ac9f649efp-27), FN80(0x1.8944ac9f649ee8bep-27), FN128(0x1.8944ac9f649ee8bd727a55a75161p-27)), .y = REAL(FN32(-0x1.a6171p4), FN64(-0x1.a6170f8bcce8fp4), FN80(-0x1.a6170f8bcce8f26cp4), FN128(-0x1.a6170f8bcce8f26b30f61371e841p4)) },
{ .x = REAL(FN32(0x1.26f382p-25), FN64(0x1.26f381778b773p-25), FN80(0x1.26f381778b772e8ep-25), FN128(0x1.26f381778b772e8e15dbc03d7d08p-25)), .y = REAL(FN32(-0x1.8cbb0ep4), FN64(-0x1.8cbb0de82d2b9p4), FN80(-0x1.8cbb0de82d2b89f2p4), FN128(-0x1.8cbb0de82d2b89f136f5625147d8p4)) },
{ .x = REAL(FN32(0x1.ba6d42p-24), FN64(0x1.ba6d42335132cp-24), FN80(0x1.ba6d42335132c5d6p-24), FN128(0x1.ba6d42335132c5d520c9a05c3b8dp-24)), .y = REAL(FN32(-0x1.735f0cp4), FN64(-0x1.735f0c448d6e2p4), FN80(-0x1.735f0c448d6e2178p4), FN128(-0x1.735f0c448d6e21773cf4b130a76fp4)) },
{ .x = REAL(FN32(0x1.4bd1f2p-22), FN64(0x1.4bd1f1a67ce61p-22), FN80(0x1.4bd1f1a67ce6146p-22), FN128(0x1.4bd1f1a67ce6145fd89738452caap-22)), .y = REAL(FN32(-0x1.5a030ap4), FN64(-0x1.5a030aa0edb0cp4), FN80(-0x1.5a030aa0edb0b8fep4), FN128(-0x1.5a030aa0edb0b8fd42f400100706p4)) },
{ .x = REAL(FN32(0x1.f1baeap-21), FN64(0x1.f1baea79bb592p-21), FN80(0x1.f1baea79bb591e9p-21), FN128(0x1.f1baea79bb591e8fc4e2d467c2fep-21)), .y = REAL(FN32(-0x1.40a70ap4), FN64(-0x1.40a708fd4df35p4), FN80(-0x1.40a708fd4df35084p4), FN128(-0x1.40a708fd4df3508348f34eef669ep4)) },
{ .x = REAL(FN32(0x1.754c3p-19), FN64(0x1.754c2fdb4c82dp-19), FN80(0x1.754c2fdb4c82d6ecp-19), FN128(0x1.754c2fdb4c82d6ebd3aa1f4dd23fp-19)), .y = REAL(FN32(-0x1.274b08p4), FN64(-0x1.274b0759ae35fp4), FN80(-0x1.274b0759ae35e80ap4), FN128(-0x1.274b0759ae35e8094ef29dcec635p4)) },
{ .x = REAL(FN32(0x1.17f924p-17), FN64(0x1.17f923e479622p-17), FN80(0x1.17f923e47962213p-17), FN128(0x1.17f923e479622130debf977a5dafp-17)), .y = REAL(FN32(-0x1.0def06p4), FN64(-0x1.0def05b60e788p4), FN80(-0x1.0def05b60e787f9p4), FN128(-0x1.0def05b60e787f8f54f1ecae25ccp4)) },
{ .x = REAL(FN32(0x1.a3f5b6p-16), FN64(0x1.a3f5b5d6b6133p-16), FN80(0x1.a3f5b5d6b61331cap-16), FN128(0x1.a3f5b5d6b61331c94e1f63378c87p-16)), .y = REAL(FN32(-0x1.e92608p3), FN64(-0x1.e9260824dd763p3), FN80(-0x1.e9260824dd762e2ap3), FN128(-0x1.e9260824dd762e2ab5e2771b0ac7p3)) },
{ .x = REAL(FN32(0x1.3af848p-14), FN64(0x1.3af84861088e6p-14), FN80(0x1.3af84861088e6556p-14), FN128(0x1.3af84861088e6556fa978a69a965p-14)), .y = REAL(FN32(-0x1.b66e04p3), FN64(-0x1.b66e04dd9dfb6p3), FN80(-0x1.b66e04dd9dfb5d36p3), FN128(-0x1.b66e04dd9dfb5d36c1e114d9c9f6p3)) },
{ .x = REAL(FN32(0x1.d8746cp-13), FN64(0x1.d8746c918cd5ap-13), FN80(0x1.d8746c918cd59802p-13), FN128(0x1.d8746c918cd5980277e34f9e7e17p-13)), .y = REAL(FN32(-0x1.83b602p3), FN64(-0x1.83b601965e809p3), FN80(-0x1.83b601965e808c42p3), FN128(-0x1.83b601965e808c42cddfb2988924p3)) },
{ .x = REAL(FN32(0x1.625752p-11), FN64(0x1.6257516d29a03p-11), FN80(0x1.6257516d29a03202p-11), FN128(0x1.6257516d29a03201d9ea7bb6de92p-11)), .y = REAL(FN32(-0x1.50fdfep3), FN64(-0x1.50fdfe4f1f05cp3), FN80(-0x1.50fdfe4f1f05bb4ep3), FN128(-0x1.50fdfe4f1f05bb4ed9de50574853p3)) },
{ .x = REAL(FN32(0x1.09c17ep-9), FN64(0x1.09c17d11df382p-9), FN80(0x1.09c17d11df382582p-9), FN128(0x1.09c17d11df382581636fdcc926edp-9)), .y = REAL(FN32(-0x1.1e45fap3), FN64(-0x1.1e45fb07df8afp3), FN80(-0x1.1e45fb07df8aea5ap3), FN128(-0x1.1e45fb07df8aea5ae5dcee160781p3)) },
{ .x = REAL(FN32(0x1.8ea23cp-8), FN64(0x1.8ea23b9aced44p-8), FN80(0x1.8ea23b9aced43842p-8), FN128(0x1.8ea23b9aced438421527cb2dba64p-8)), .y = REAL(FN32(-0x1.d71bfp2), FN64(-0x1.d71bef8140203p2), FN80(-0x1.d71bef81402032cep2), FN128(-0x1.d71bef81402032cde3b717a98d6p2)) },
{ .x = REAL(FN32(0x1.2af9acp-6), FN64(0x1.2af9acb41b1f3p-6), FN80(0x1.2af9acb41b1f2a32p-6), FN128(0x1.2af9acb41b1f2a318fddd8624bcbp-6)), .y = REAL(FN32(-0x1.71abeap2), FN64(-0x1.71abe8f2c12a9p2), FN80(-0x1.71abe8f2c12a90e6p2), FN128(-0x1.71abe8f2c12a90e5fbb453270bbdp2)) },
{ .x = REAL(FN32(0x1.c07684p-5), FN64(0x1.c076830e28aecp-5), FN80(0x1.c076830e28aebf4ap-5), FN128(0x1.c076830e28aebf4a57ccc49371bp-5)), .y = REAL(FN32(-0x1.0c3be2p2), FN64(-0x1.0c3be2644234fp2), FN80(-0x1.0c3be2644234eefep2), FN128(-0x1.0c3be2644234eefe13b18ea48a1ap2)) },
{ .x = REAL(FN32(0x1.5058e2p-3), FN64(0x1.5058e24a9e831p-3), FN80(0x1.5058e24a9e830f78p-3), FN128(0x1.5058e24a9e830f77c1d9936e9544p-3)), .y = REAL(FN32(-0x1.4d97b8p1), FN64(-0x1.4d97b7ab867eap1), FN80(-0x1.4d97b7ab867e9a2cp1), FN128(-0x1.4d97b7ab867e9a2c575d944410eep1)) },
{ .x = REAL(FN32(0x1.f88554p-2), FN64(0x1.f885536fedc49p-2), FN80(0x1.f885536fedc49734p-2), FN128(0x1.f885536fedc49733a2c65d25dfe6p-2)), .y = REAL(FN32(-0x1.056f54p0), FN64(-0x1.056f551d1126bp0), FN80(-0x1.056f551d1126acb8p0), FN128(-0x1.056f551d1126acb90eb0167e1b5p0)) },
{ .x = REAL(FN32(0x1.7a63fep0), FN64(0x1.7a63fe93f2537p0), FN80(0x1.7a63fe93f2537166p0), FN128(0x1.7a63fe93f2537166ba14c5dc67edp0)), .y = REAL(FN32(0x1.20a18ap-1), FN64(0x1.20a18a39d55fbp-1), FN80(0x1.20a18a39d55fb5ccp-1), FN128(0x1.20a18a39d55fb5cd22b5f717d679p-1)) },
{ .x = REAL(FN32(0x1.1bcafep2), FN64(0x1.1bcafeeef5be9p2), FN80(0x1.1bcafeeef5be950ep2), FN128(0x1.1bcafeeef5be950d0b8f94654df2p2)), .y = REAL(FN32(0x1.13087p1), FN64(0x1.13086fab73433p1), FN80(0x1.13086fab73433144p1), FN128(0x1.13086fab7343314318b306caf8e4p1)) },
{ .x = REAL(FN32(0x1.a9b07ep3), FN64(0x1.a9b07e66709dep3), FN80(0x1.a9b07e66709ddf94p3), FN128(0x1.a9b07e66709ddf9391575e97f4eap3)), .y = REAL(FN32(0x1.dde87cp1), FN64(0x1.dde87cc8712e7p1), FN80(0x1.dde87cc8712e7514p1), FN128(0x1.dde87cc8712e7512e8b88fcffc2ap1)) },
{ .x = REAL(FN32(0x1.3f445ep5), FN64(0x1.3f445eccd4766p5), FN80(0x1.3f445eccd47667aep5), FN128(0x1.3f445eccd47667aead0186f1f7bp5)), .y = REAL(FN32(0x1.546444p2), FN64(0x1.546444f2b78cep2), FN80(0x1.546444f2b78cdc72p2), FN128(0x1.546444f2b78cdc715c5f0c6a7fb8p2)) },
{ .x = REAL(FN32(0x1.dee68ep6), FN64(0x1.dee68e333eb1ap6), FN80(0x1.dee68e333eb19b86p6), FN128(0x1.dee68e333eb19b8603824a6af388p6)), .y = REAL(FN32(0x1.b9d44cp2), FN64(0x1.b9d44b8136828p2), FN80(0x1.b9d44b8136827e5ap2), FN128(0x1.b9d44b8136827e594461d0ed015bp2)) },
{ .x = REAL(FN32(0x1.672ceap8), FN64(0x1.672ceaa66f053p8), FN80(0x1.672ceaa66f0534a4p8), FN128(0x1.672ceaa66f0534a482a1b7d036a6p8)), .y = REAL(FN32(0x1.0fa228p3), FN64(0x1.0fa22907dabc1p3), FN80(0x1.0fa22907dabc102p3), FN128(0x1.0fa22907dabc102096324ab7c17fp3)) },
{ .x = REAL(FN32(0x1.0d61bp10), FN64(0x1.0d61affcd343ep10), FN80(0x1.0d61affcd343e77cp10), FN128(0x1.0d61affcd343e77b61f949dc28fcp10)), .y = REAL(FN32(0x1.425a2cp3), FN64(0x1.425a2c4f1a36ep3), FN80(0x1.425a2c4f1a36e114p3), FN128(0x1.425a2c4f1a36e1148a33acf9025p3)) },
{ .x = REAL(FN32(0x1.941288p11), FN64(0x1.941287fb3ce5ep11), FN80(0x1.941287fb3ce5db3ap11), FN128(0x1.941287fb3ce5db3912f5eeca3d7ap11)), .y = REAL(FN32(0x1.75123p3), FN64(0x1.75122f9659b1bp3), FN80(0x1.75122f9659b1b208p3), FN128(0x1.75122f9659b1b2087e350f3a4322p3)) },
{ .x = REAL(FN32(0x1.2f0de6p13), FN64(0x1.2f0de5fc6dac6p13), FN80(0x1.2f0de5fc6dac646ap13), FN128(0x1.2f0de5fc6dac646ace387317ae1cp13)), .y = REAL(FN32(0x1.a7ca32p3), FN64(0x1.a7ca32dd992c8p3), FN80(0x1.a7ca32dd992c82fcp3), FN128(0x1.a7ca32dd992c82fc7236717b83f3p3)) },
{ .x = REAL(FN32(0x1.c694d8p14), FN64(0x1.c694d8faa4829p14), FN80(0x1.c694d8faa48296ap14), FN128(0x1.c694d8faa48296a03554aca3852ap14)), .y = REAL(FN32(0x1.da8236p3), FN64(0x1.da823624d8a75p3), FN80(0x1.da823624d8a753fp3), FN128(0x1.da823624d8a753f06637d3bcc4c5p3)) },
{ .x = REAL(FN32(0x1.54efa2p16), FN64(0x1.54efa2bbfb61fp16), FN80(0x1.54efa2bbfb61f0f8p16), FN128(0x1.54efa2bbfb61f0f827ff817aa3dfp16)), .y = REAL(FN32(0x1.069d1cp4), FN64(0x1.069d1cb60c111p4), FN80(0x1.069d1cb60c111272p4), FN128(0x1.069d1cb60c1112722d1c9aff02cbp4)) },
{ .x = REAL(FN32(0x1.ff6774p17), FN64(0x1.ff677419f912fp17), FN80(0x1.ff677419f912e974p17), FN128(0x1.ff677419f912e9743bff4237f5cfp17)), .y = REAL(FN32(0x1.1ff91ep4), FN64(0x1.1ff91e59abce8p4), FN80(0x1.1ff91e59abce7aecp4), FN128(0x1.1ff91e59abce7aec271d4c1fa334p4)) },
{ .x = REAL(FN32(0x1.7f8d98p19), FN64(0x1.7f8d97137ace3p19), FN80(0x1.7f8d97137ace2f18p19), FN128(0x1.7f8d97137ace2f172cff71a9f85bp19)), .y = REAL(FN32(0x1.39552p4), FN64(0x1.39551ffd4b8bep4), FN80(0x1.39551ffd4b8be366p4), FN128(0x1.39551ffd4b8be366211dfd40439dp4)) },
{ .x = REAL(FN32(0x1.1faa32p21), FN64(0x1.1faa314e9c1aap21), FN80(0x1.1faa314e9c1aa352p21), FN128(0x1.1faa314e9c1aa35161bf953f7a44p21)), .y = REAL(FN32(0x1.52b122p4), FN64(0x1.52b121a0eb495p4), FN80(0x1.52b121a0eb494bep4), FN128(0x1.52b121a0eb494be01b1eae60e405p4)) },
{ .x = REAL(FN32(0x1.af7f4ap22), FN64(0x1.af7f49f5ea27fp22), FN80(0x1.af7f49f5ea27f4fap22), FN128(0x1.af7f49f5ea27f4fa129f5fdf3767p22)), .y = REAL(FN32(0x1.6c0d24p4), FN64(0x1.6c0d23448b06bp4), FN80(0x1.6c0d23448b06b45ap4), FN128(0x1.6c0d23448b06b45a151f5f81846ep4)) },
{ .x = REAL(FN32(0x1.439f78p24), FN64(0x1.439f77786f9dfp24), FN80(0x1.439f77786f9df7bcp24), FN128(0x1.439f77786f9df7bb8df787e7698dp24)), .y = REAL(FN32(0x1.856924p4), FN64(0x1.856924e82ac42p4), FN80(0x1.856924e82ac41cd4p4), FN128(0x1.856924e82ac41cd40f2010a224d7p4)) },
{ .x = REAL(FN32(0x1.e56f34p25), FN64(0x1.e56f3334a76cfp25), FN80(0x1.e56f3334a76cf39ap25), FN128(0x1.e56f3334a76cf39954f34bdb1e53p25)), .y = REAL(FN32(0x1.9ec526p4), FN64(0x1.9ec5268bca818p4), FN80(0x1.9ec5268bca81854ep4), FN128(0x1.9ec5268bca81854e0920c1c2c53fp4)) },
{ .x = REAL(FN32(0x1.6c1366p27), FN64(0x1.6c1366677d91bp27), FN80(0x1.6c1366677d91b6b2p27), FN128(0x1.6c1366677d91b6b2ffb678e456bfp27)), .y = REAL(FN32(0x1.b82128p4), FN64(0x1.b821282f6a3efp4), FN80(0x1.b821282f6a3eedc8p4), FN128(0x1.b821282f6a3eedc8032172e365a8p4)) },
{ .x = REAL(FN32(0x1.110e8cp29), FN64(0x1.110e8ccd9e2d5p29), FN80(0x1.110e8ccd9e2d4906p29), FN128(0x1.110e8ccd9e2d49063fc8daab410fp29)), .y = REAL(FN32(0x1.d17d2ap4), FN64(0x1.d17d29d309fc5p4), FN80(0x1.d17d29d309fc5642p4), FN128(0x1.d17d29d309fc5641fd2224040611p4)) },
{ .x = REAL(FN32(0x1.9995d4p30), FN64(0x1.9995d3346d43fp30), FN80(0x1.9995d3346d43ed8ap30), FN128(0x1.9995d3346d43ed895fad4800e196p30)), .y = REAL(FN32(0x1.ead92cp4), FN64(0x1.ead92b76a9b9cp4), FN80(0x1.ead92b76a9b9bebcp4), FN128(0x1.ead92b76a9b9bebbf722d524a67ap4)) },
{ .x = REAL(FN32(0x1.33305ep32), FN64(0x1.33305e6751f2fp32), FN80(0x1.33305e6751f2f228p32), FN128(0x1.33305e6751f2f22707c1f600a931p32)), .y = REAL(FN32(0x1.021a96p5), FN64(0x1.021a968d24bb9p5), FN80(0x1.021a968d24bb939cp5), FN128(0x1.021a968d24bb939af891c322a371p5)) },
{ .x = REAL(FN32(0x1.ccc88ep33), FN64(0x1.ccc88d9afaec7p33), FN80(0x1.ccc88d9afaec6b3ap33), FN128(0x1.ccc88d9afaec6b3a8ba2f100fdc9p33)), .y = REAL(FN32(0x1.0ec898p5), FN64(0x1.0ec8975ef49a4p5), FN80(0x1.0ec8975ef49a47d8p5), FN128(0x1.0ec8975ef49a47d7f5921bb2f3a6p5)) },
{ .x = REAL(FN32(0x1.59966ap35), FN64(0x1.59966a343c315p35), FN80(0x1.59966a343c31506cp35), FN128(0x1.59966a343c31506be8ba34c0be57p35)), .y = REAL(FN32(0x1.1b7698p5), FN64(0x1.1b769830c479p5), FN80(0x1.1b769830c478fc14p5), FN128(0x1.1b769830c478fc14f292744343dap5)) },
{ .x = REAL(FN32(0x1.0330dp37), FN64(0x1.0330cfa72d25p37), FN80(0x1.0330cfa72d24fc5p37), FN128(0x1.0330cfa72d24fc50ee8ba7908ec1p37)), .y = REAL(FN32(0x1.28249ap5), FN64(0x1.282499029457bp5), FN80(0x1.282499029457b052p5), FN128(0x1.282499029457b051ef92ccd3940ep5)) },
{ .x = REAL(FN32(0x1.84c938p38), FN64(0x1.84c9377ac3b78p38), FN80(0x1.84c9377ac3b77a7ap38), FN128(0x1.84c9377ac3b77a7965d17b58d622p38)), .y = REAL(FN32(0x1.34d29ap5), FN64(0x1.34d299d464366p5), FN80(0x1.34d299d46436648ep5), FN128(0x1.34d299d46436648eec932563e443p5)) },
{ .x = REAL(FN32(0x1.2396eap40), FN64(0x1.2396e99c12c9ap40), FN80(0x1.2396e99c12c99bdcp40), FN128(0x1.2396e99c12c99bdb0c5d1c82a099p40)), .y = REAL(FN32(0x1.41809ap5), FN64(0x1.41809aa634152p5), FN80(0x1.41809aa6341518ccp5), FN128(0x1.41809aa6341518cbe9937df43477p5)) },
{ .x = REAL(FN32(0x1.b5625ep41), FN64(0x1.b5625e6a1c2e7p41), FN80(0x1.b5625e6a1c2e69c8p41), FN128(0x1.b5625e6a1c2e69c8928baac3f0e6p41)), .y = REAL(FN32(0x1.4e2e9cp5), FN64(0x1.4e2e9b7803f3dp5), FN80(0x1.4e2e9b7803f3cd08p5), FN128(0x1.4e2e9b7803f3cd08e693d68484abp5)) },
{ .x = REAL(FN32(0x1.4809c6p43), FN64(0x1.4809c6cf9522dp43), FN80(0x1.4809c6cf9522cf56p43), FN128(0x1.4809c6cf9522cf566de8c012f4acp43)), .y = REAL(FN32(0x1.5adc9cp5), FN64(0x1.5adc9c49d3d28p5), FN80(0x1.5adc9c49d3d28146p5), FN128(0x1.5adc9c49d3d28145e3942f14d4ep5)) },
{ .x = REAL(FN32(0x1.ec0eaap44), FN64(0x1.ec0eaa375fb43p44), FN80(0x1.ec0eaa375fb43702p44), FN128(0x1.ec0eaa375fb43701a4dd201c6f03p44)), .y = REAL(FN32(0x1.678a9ep5), FN64(0x1.678a9d1ba3b13p5), FN80(0x1.678a9d1ba3b13582p5), FN128(0x1.678a9d1ba3b13582e09487a52514p5)) },
{ .x = REAL(FN32(0x1.710bp46), FN64(0x1.710affa987c73p46), FN80(0x1.710affa987c72942p46), FN128(0x1.710affa987c729413ba5d8155342p46)), .y = REAL(FN32(0x1.74389ep5), FN64(0x1.74389ded738ffp5), FN80(0x1.74389ded738fe9cp5), FN128(0x1.74389ded738fe9bfdd94e0357548p5)) },
{ .x = REAL(FN32(0x1.14c84p48), FN64(0x1.14c83fbf25d56p48), FN80(0x1.14c83fbf25d55efp48), FN128(0x1.14c83fbf25d55ef0ecbc620ffe72p48)), .y = REAL(FN32(0x1.80e69ep5), FN64(0x1.80e69ebf436eap5), FN80(0x1.80e69ebf436e9dfcp5), FN128(0x1.80e69ebf436e9dfcda9538c5c57dp5)) },
{ .x = REAL(FN32(0x1.9f2c6p49), FN64(0x1.9f2c5f9eb8c01p49), FN80(0x1.9f2c5f9eb8c00e6ap49), FN128(0x1.9f2c5f9eb8c00e69631a9317fdaap49)), .y = REAL(FN32(0x1.8d94ap5), FN64(0x1.8d949f91134d5p5), FN80(0x1.8d949f91134d523ap5), FN128(0x1.8d949f91134d5239d795915615b1p5)) },
{ .x = REAL(FN32(0x1.376148p51), FN64(0x1.376147b70a901p51), FN80(0x1.376147b70a900adp51), FN128(0x1.376147b70a900acf0a53ee51fe4p51)), .y = REAL(FN32(0x1.9a42ap5), FN64(0x1.9a42a062e32cp5), FN80(0x1.9a42a062e32c0676p5), FN128(0x1.9a42a062e32c0676d495e9e665e6p5)) },
{ .x = REAL(FN32(0x1.d311ecp52), FN64(0x1.d311eb928fd81p52), FN80(0x1.d311eb928fd81036p52), FN128(0x1.d311eb928fd810368f7de57afd6p52)), .y = REAL(FN32(0x1.a6f0a2p5), FN64(0x1.a6f0a134b30acp5), FN80(0x1.a6f0a134b30abab4p5), FN128(0x1.a6f0a134b30abab3d1964276b61ap5)) },
{ .x = REAL(FN32(0x1.5e4d7p54), FN64(0x1.5e4d70adebe21p54), FN80(0x1.5e4d70adebe20c28p54), FN128(0x1.5e4d70adebe20c28eb9e6c1c3e08p54)), .y = REAL(FN32(0x1.b39ea2p5), FN64(0x1.b39ea20682e97p5), FN80(0x1.b39ea20682e96efp5), FN128(0x1.b39ea20682e96ef0ce969b07064ep5)) },
{ .x = REAL(FN32(0x1.06ba14p56), FN64(0x1.06ba148270e99p56), FN80(0x1.06ba148270e9891ep56), FN128(0x1.06ba148270e9891eb0b6d1152e86p56)), .y = REAL(FN32(0x1.c04ca2p5), FN64(0x1.c04ca2d852c82p5), FN80(0x1.c04ca2d852c8232ep5), FN128(0x1.c04ca2d852c8232dcb96f3975683p5)) },
{ .x = REAL(FN32(0x1.8a171ep57), FN64(0x1.8a171ec3a95e5p57), FN80(0x1.8a171ec3a95e4daep57), FN128(0x1.8a171ec3a95e4dae0912399fc5c9p57)), .y = REAL(FN32(0x1.ccfaa4p5), FN64(0x1.ccfaa3aa22a6dp5), FN80(0x1.ccfaa3aa22a6d76ap5), FN128(0x1.ccfaa3aa22a6d76ac8974c27a6b7p5)) },
{ .x = REAL(FN32(0x1.279158p59), FN64(0x1.27915712bf06cp59), FN80(0x1.27915712bf06ba42p59), FN128(0x1.27915712bf06ba4286cdab37d456p59)), .y = REAL(FN32(0x1.d9a8a4p5), FN64(0x1.d9a8a47bf2859p5), FN80(0x1.d9a8a47bf2858ba8p5), FN128(0x1.d9a8a47bf2858ba7c597a4b7f6ebp5)) },
{ .x = REAL(FN32(0x1.bb5a02p60), FN64(0x1.bb5a029c1e8a1p60), FN80(0x1.bb5a029c1e8a1764p60), FN128(0x1.bb5a029c1e8a1763ca3480d3be82p60)), .y = REAL(FN32(0x1.e656a6p5), FN64(0x1.e656a54dc2644p5), FN80(0x1.e656a54dc2643fe4p5), FN128(0x1.e656a54dc2643fe4c297fd48472p5)) },
{ .x = REAL(FN32(0x1.4c8382p62), FN64(0x1.4c8381f516e79p62), FN80(0x1.4c8381f516e7918ap62), FN128(0x1.4c8381f516e7918ad7a7609ecee1p62)), .y = REAL(FN32(0x1.f304a6p5), FN64(0x1.f304a61f9242fp5), FN80(0x1.f304a61f9242f422p5), FN128(0x1.f304a61f9242f421bf9855d89754p5)) },
{ .x = REAL(FN32(0x1.f2c542p63), FN64(0x1.f2c542efa25b6p63), FN80(0x1.f2c542efa25b5a5p63), FN128(0x1.f2c542efa25b5a50437b10ee3652p63)), .y = REAL(FN32(0x1.ffb2a6p5), FN64(0x1.ffb2a6f16221bp5), FN80(0x1.ffb2a6f16221a85ep5), FN128(0x1.ffb2a6f16221a85ebc98ae68e788p5)) },
{ .x = REAL(FN32(0x1.7613f2p65), FN64(0x1.7613f233b9c48p65), FN80(0x1.7613f233b9c483bcp65), FN128(0x1.7613f233b9c483bc329c4cb2a8bdp65)), .y = REAL(FN32(0x1.063054p6), FN64(0x1.063053e199003p6), FN80(0x1.063053e199002e4ep6), FN128(0x1.063053e199002e4ddccc837c9bdep6)) },
{ .x = REAL(FN32(0x1.188ef6p67), FN64(0x1.188ef5a6cb536p67), FN80(0x1.188ef5a6cb5362cep67), FN128(0x1.188ef5a6cb5362cd25f53985fe8ep67)), .y = REAL(FN32(0x1.0c8754p6), FN64(0x1.0c87544a80ef9p6), FN80(0x1.0c87544a80ef886cp6), FN128(0x1.0c87544a80ef886c5b4cafc4c3f9p6)) },
{ .x = REAL(FN32(0x1.a4d67p68), FN64(0x1.a4d6707a30fd1p68), FN80(0x1.a4d6707a30fd1434p68), FN128(0x1.a4d6707a30fd1433b8efd648fdd5p68)), .y = REAL(FN32(0x1.12de54p6), FN64(0x1.12de54b368deep6), FN80(0x1.12de54b368dee28ap6), FN128(0x1.12de54b368dee28ad9ccdc0cec13p6)) },
{ .x = REAL(FN32(0x1.3ba0d4p70), FN64(0x1.3ba0d45ba4bddp70), FN80(0x1.3ba0d45ba4bdcf26p70), FN128(0x1.3ba0d45ba4bdcf26cab3e0b6be6p70)), .y = REAL(FN32(0x1.193556p6), FN64(0x1.1935551c50ce4p6), FN80(0x1.1935551c50ce3caap6), FN128(0x1.1935551c50ce3ca9584d0855142dp6)) },
{ .x = REAL(FN32(0x1.d9713ep71), FN64(0x1.d9713e89771cbp71), FN80(0x1.d9713e89771cb6bap71), FN128(0x1.d9713e89771cb6ba300dd1121d9p71)), .y = REAL(FN32(0x1.1f8c56p6), FN64(0x1.1f8c558538bd9p6), FN80(0x1.1f8c558538bd96c8p6), FN128(0x1.1f8c558538bd96c7d6cd349d3c47p6)) },
{ .x = REAL(FN32(0x1.6314eep73), FN64(0x1.6314eee719559p73), FN80(0x1.6314eee71955890cp73), FN128(0x1.6314eee71955890ba40a5ccd962cp73)), .y = REAL(FN32(0x1.25e356p6), FN64(0x1.25e355ee20acfp6), FN80(0x1.25e355ee20acf0e6p6), FN128(0x1.25e355ee20acf0e6554d60e56461p6)) },
{ .x = REAL(FN32(0x1.0a4fb4p75), FN64(0x1.0a4fb32d53002p75), FN80(0x1.0a4fb32d530026c8p75), FN128(0x1.0a4fb32d530026c8bb07c59a30a1p75)), .y = REAL(FN32(0x1.2c3a56p6), FN64(0x1.2c3a5657089c5p6), FN80(0x1.2c3a5657089c4b04p6), FN128(0x1.2c3a5657089c4b04d3cd8d2d8c7cp6)) },
{ .x = REAL(FN32(0x1.8f778cp76), FN64(0x1.8f778cc3fc804p76), FN80(0x1.8f778cc3fc803a2ep76), FN128(0x1.8f778cc3fc803a2d188ba86748f1p76)), .y = REAL(FN32(0x1.329156p6), FN64(0x1.329156bff08bap6), FN80(0x1.329156bff08ba524p6), FN128(0x1.329156bff08ba523524db975b496p6)) },
{ .x = REAL(FN32(0x1.2b99aap78), FN64(0x1.2b99a992fd603p78), FN80(0x1.2b99a992fd602ba2p78), FN128(0x1.2b99a992fd602ba1d268be4d76b5p78)), .y = REAL(FN32(0x1.38e858p6), FN64(0x1.38e85728d87bp6), FN80(0x1.38e85728d87aff42p6), FN128(0x1.38e85728d87aff41d0cde5bddcbp6)) },
{ .x = REAL(FN32(0x1.c1667ep79), FN64(0x1.c1667e5c7c104p79), FN80(0x1.c1667e5c7c104172p79), FN128(0x1.c1667e5c7c104172bb9d1d74320fp79)), .y = REAL(FN32(0x1.3f3f58p6), FN64(0x1.3f3f5791c06a6p6), FN80(0x1.3f3f5791c06a596p6), FN128(0x1.3f3f5791c06a59604f4e120604cap6)) },
{ .x = REAL(FN32(0x1.510cdep81), FN64(0x1.510cdec55d0c3p81), FN80(0x1.510cdec55d0c3116p81), FN128(0x1.510cdec55d0c31160cb5d617258cp81)), .y = REAL(FN32(0x1.459658p6), FN64(0x1.459657faa859bp6), FN80(0x1.459657faa859b37ep6), FN128(0x1.459657faa859b37ecdce3e4e2ce4p6)) },
{ .x = REAL(FN32(0x1.f9934ep82), FN64(0x1.f9934e280b925p82), FN80(0x1.f9934e280b9249a2p82), FN128(0x1.f9934e280b9249a11310c122b851p82)), .y = REAL(FN32(0x1.4bed58p6), FN64(0x1.4bed586390491p6), FN80(0x1.4bed586390490d9ep6), FN128(0x1.4bed586390490d9d4c4e6a9654fep6)) },
{ .x = REAL(FN32(0x1.7b2e7ap84), FN64(0x1.7b2e7a9e08adbp84), FN80(0x1.7b2e7a9e08adb738p84), FN128(0x1.7b2e7a9e08adb738ce4c90da0a3dp84)), .y = REAL(FN32(0x1.524458p6), FN64(0x1.524458cc78386p6), FN80(0x1.524458cc783867bcp6), FN128(0x1.524458cc783867bbcace96de7d19p6)) },
{ .x = REAL(FN32(0x1.1c62dcp86), FN64(0x1.1c62dbf686825p86), FN80(0x1.1c62dbf68682496ap86), FN128(0x1.1c62dbf68682496a9ab96ca387aep86)), .y = REAL(FN32(0x1.589b5ap6), FN64(0x1.589b59356027cp6), FN80(0x1.589b59356027c1dap6), FN128(0x1.589b59356027c1da494ec326a533p6)) },
{ .x = REAL(FN32(0x1.aa944ap87), FN64(0x1.aa9449f1c9c37p87), FN80(0x1.aa9449f1c9c36e2p87), FN128(0x1.aa9449f1c9c36e1fe81622f54b85p87)), .y = REAL(FN32(0x1.5ef25ap6), FN64(0x1.5ef2599e48172p6), FN80(0x1.5ef2599e48171bf8p6), FN128(0x1.5ef2599e48171bf8c7ceef6ecd4dp6)) },
{ .x = REAL(FN32(0x1.3fef38p89), FN64(0x1.3fef377557529p89), FN80(0x1.3fef377557529298p89), FN128(0x1.3fef377557529297ee109a37f8a3p89)), .y = REAL(FN32(0x1.65495ap6), FN64(0x1.65495a0730067p6), FN80(0x1.65495a0730067618p6), FN128(0x1.65495a0730067617464f1bb6f567p6)) },
{ .x = REAL(FN32(0x1.dfe6d4p90), FN64(0x1.dfe6d33002fbep90), FN80(0x1.dfe6d33002fbdbe4p90), FN128(0x1.dfe6d33002fbdbe3e518e753f4f5p90)), .y = REAL(FN32(0x1.6ba05ap6), FN64(0x1.6ba05a7017f5dp6), FN80(0x1.6ba05a7017f5d036p6), FN128(0x1.6ba05a7017f5d035c4cf47ff1d81p6)) },
{ .x = REAL(FN32(0x1.67ed1ep92), FN64(0x1.67ed1e64023cep92), FN80(0x1.67ed1e64023ce4eap92), FN128(0x1.67ed1e64023ce4eaebd2ad7ef7b8p92)), .y = REAL(FN32(0x1.71f75ap6), FN64(0x1.71f75ad8ffe53p6), FN80(0x1.71f75ad8ffe52a54p6), FN128(0x1.71f75ad8ffe52a54434f7447459cp6)) },
{ .x = REAL(FN32(0x1.0df1d6p94), FN64(0x1.0df1d6cb01adbp94), FN80(0x1.0df1d6cb01adabbp94), FN128(0x1.0df1d6cb01adabb030de021f39cap94)), .y = REAL(FN32(0x1.784e5cp6), FN64(0x1.784e5b41e7d48p6), FN80(0x1.784e5b41e7d48472p6), FN128(0x1.784e5b41e7d48472c1cfa08f6db6p6)) },
{ .x = REAL(FN32(0x1.94eac2p95), FN64(0x1.94eac23082848p95), FN80(0x1.94eac23082848188p95), FN128(0x1.94eac23082848188494d032ed6afp95)), .y = REAL(FN32(0x1.7ea55cp6), FN64(0x1.7ea55baacfc3ep6), FN80(0x1.7ea55baacfc3de92p6), FN128(0x1.7ea55baacfc3de91404fccd795dp6)) },
{ .x = REAL(FN32(0x1.2fb012p97), FN64(0x1.2fb011a461e36p97), FN80(0x1.2fb011a461e36126p97), FN128(0x1.2fb011a461e3612636f9c2632103p97)), .y = REAL(FN32(0x1.84fc5cp6), FN64(0x1.84fc5c13b7b34p6), FN80(0x1.84fc5c13b7b338bp6), FN128(0x1.84fc5c13b7b338afbecff91fbdeap6)) },
{ .x = REAL(FN32(0x1.c7881ap98), FN64(0x1.c7881a7692d51p98), FN80(0x1.c7881a7692d511bap98), FN128(0x1.c7881a7692d511b95276a394b185p98)), .y = REAL(FN32(0x1.8b535cp6), FN64(0x1.8b535c7c9fa29p6), FN80(0x1.8b535c7c9fa292cep6), FN128(0x1.8b535c7c9fa292ce3d502567e604p6)) },
{ .x = REAL(FN32(0x1.55a614p100), FN64(0x1.55a613d8ee1fdp100), FN80(0x1.55a613d8ee1fcd4ap100), FN128(0x1.55a613d8ee1fcd4afdd8faaf8524p100)), .y = REAL(FN32(0x1.91aa5cp6), FN64(0x1.91aa5ce58791fp6), FN80(0x1.91aa5ce58791ececp6), FN128(0x1.91aa5ce58791ececbbd051b00e1ep6)) },
{ .x = REAL(FN32(0x1.003c8ep102), FN64(0x1.003c8ee2b297ep102), FN80(0x1.003c8ee2b297d9f8p102), FN128(0x1.003c8ee2b297d9f83e62bc03a3dbp102)), .y = REAL(FN32(0x1.98015ep6), FN64(0x1.98015d4e6f814p6), FN80(0x1.98015d4e6f81470cp6), FN128(0x1.98015d4e6f81470b3a507df83639p6)) },
{ .x = REAL(FN32(0x1.805ad6p103), FN64(0x1.805ad6540be3cp103), FN80(0x1.805ad6540be3c6f4p103), FN128(0x1.805ad6540be3c6f45d941a0575c8p103)), .y = REAL(FN32(0x1.9e585ep6), FN64(0x1.9e585db75770ap6), FN80(0x1.9e585db75770a12ap6), FN128(0x1.9e585db75770a129b8d0aa405e53p6)) },
{ .x = REAL(FN32(0x1.20442p105), FN64(0x1.204420bf08eadp105), FN80(0x1.204420bf08ead538p105), FN128(0x1.204420bf08ead537462f13841856p105)), .y = REAL(FN32(0x1.a4af5ep6), FN64(0x1.a4af5e203f6p6), FN80(0x1.a4af5e203f5ffb48p6), FN128(0x1.a4af5e203f5ffb483750d688866dp6)) },
{ .x = REAL(FN32(0x1.b06632p106), FN64(0x1.b066311e8d604p106), FN80(0x1.b066311e8d603fd2p106), FN128(0x1.b066311e8d603fd2e9469d462481p106)), .y = REAL(FN32(0x1.ab065ep6), FN64(0x1.ab065e89274f5p6), FN80(0x1.ab065e89274f5566p6), FN128(0x1.ab065e89274f5566b5d102d0ae87p6)) },
{ .x = REAL(FN32(0x1.444ca4p108), FN64(0x1.444ca4d6ea083p108), FN80(0x1.444ca4d6ea082fdep108), FN128(0x1.444ca4d6ea082fde2ef4f5f49b61p108)), .y = REAL(FN32(0x1.b15d5ep6), FN64(0x1.b15d5ef20f3ebp6), FN80(0x1.b15d5ef20f3eaf86p6), FN128(0x1.b15d5ef20f3eaf8534512f18d6a1p6)) },
{ .x = REAL(FN32(0x1.e672f8p109), FN64(0x1.e672f7425f0c4p109), FN80(0x1.e672f7425f0c47cep109), FN128(0x1.e672f7425f0c47cd466f70eee911p109)), .y = REAL(FN32(0x1.b7b46p6), FN64(0x1.b7b45f5af72e1p6), FN80(0x1.b7b45f5af72e09a4p6), FN128(0x1.b7b45f5af72e09a3b2d15b60febcp6)) },
{ .x = REAL(FN32(0x1.6cd63ap111), FN64(0x1.6cd63971c7493p111), FN80(0x1.6cd63971c74935dap111), FN128(0x1.6cd63971c74935d9f4d394b32ecdp111)), .y = REAL(FN32(0x1.be0b6p6), FN64(0x1.be0b5fc3df1d6p6), FN80(0x1.be0b5fc3df1d63c2p6), FN128(0x1.be0b5fc3df1d63c2315187a926d6p6)) },
{ .x = REAL(FN32(0x1.11a0acp113), FN64(0x1.11a0ab155576fp113), FN80(0x1.11a0ab155576e864p113), FN128(0x1.11a0ab155576e863779eaf86631ap113)), .y = REAL(FN32(0x1.c4626p6), FN64(0x1.c462602cc70ccp6), FN80(0x1.c462602cc70cbdep6), FN128(0x1.c462602cc70cbde0afd1b3f14efp6)) },
{ .x = REAL(FN32(0x1.9a71p114), FN64(0x1.9a7100a000326p114), FN80(0x1.9a7100a000325c96p114), FN128(0x1.9a7100a000325c95336e074994a6p114)), .y = REAL(FN32(0x1.cab96p6), FN64(0x1.cab96095aefc2p6), FN80(0x1.cab96095aefc18p6), FN128(0x1.cab96095aefc17ff2e51e039770ap6)) },
{ .x = REAL(FN32(0x1.33d4cp116), FN64(0x1.33d4c0780025cp116), FN80(0x1.33d4c0780025c57p116), FN128(0x1.33d4c0780025c56fe69285772f7dp116)), .y = REAL(FN32(0x1.d1106p6), FN64(0x1.d11060fe96eb7p6), FN80(0x1.d11060fe96eb721ep6), FN128(0x1.d11060fe96eb721dacd20c819f24p6)) },
{ .x = REAL(FN32(0x1.cdbf2p117), FN64(0x1.cdbf20b40038bp117), FN80(0x1.cdbf20b40038a828p117), FN128(0x1.cdbf20b40038a827d9dbc832c73bp117)), .y = REAL(FN32(0x1.d76762p6), FN64(0x1.d76761677edadp6), FN80(0x1.d76761677edacc3cp6), FN128(0x1.d76761677edacc3c2b5238c9c73ep6)) },
{ .x = REAL(FN32(0x1.5a4f58p119), FN64(0x1.5a4f5887002a8p119), FN80(0x1.5a4f5887002a7e1ep119), FN128(0x1.5a4f5887002a7e1de364d626156cp119)), .y = REAL(FN32(0x1.ddbe62p6), FN64(0x1.ddbe61d066ca2p6), FN80(0x1.ddbe61d066ca265ap6), FN128(0x1.ddbe61d066ca265aa9d26511ef59p6)) },
{ .x = REAL(FN32(0x1.03bb82p121), FN64(0x1.03bb8265401fep121), FN80(0x1.03bb8265401fde96p121), FN128(0x1.03bb8265401fde966a8ba09c9011p121)), .y = REAL(FN32(0x1.e41562p6), FN64(0x1.e41562394eb98p6), FN80(0x1.e41562394eb9807ap6), FN128(0x1.e41562394eb980792852915a1773p6)) },
{ .x = REAL(FN32(0x1.859944p122), FN64(0x1.85994397e02fdp122), FN80(0x1.85994397e02fcde2p122), FN128(0x1.85994397e02fcde19fd170ead81ap122)), .y = REAL(FN32(0x1.ea6c62p6), FN64(0x1.ea6c62a236a8ep6), FN80(0x1.ea6c62a236a8da98p6), FN128(0x1.ea6c62a236a8da97a6d2bda23f8dp6)) },
{ .x = REAL(FN32(0x1.2432f2p124), FN64(0x1.2432f2b1e823ep124), FN80(0x1.2432f2b1e823da6ap124), FN128(0x1.2432f2b1e823da6937dd14b02214p124)), .y = REAL(FN32(0x1.f0c364p6), FN64(0x1.f0c3630b1e983p6), FN80(0x1.f0c3630b1e9834b6p6), FN128(0x1.f0c3630b1e9834b62552e9ea67a7p6)) },
{ .x = REAL(FN32(0x1.b64c6cp125), FN64(0x1.b64c6c0adc35cp125), FN80(0x1.b64c6c0adc35c79ep125), FN128(0x1.b64c6c0adc35c79dd3cb9f08331dp125)), .y = REAL(FN32(0x1.f71a64p6), FN64(0x1.f71a637406879p6), FN80(0x1.f71a637406878ed4p6), FN128(0x1.f71a637406878ed4a3d316328fc1p6)) },
/*
 * SPDX-License-Identifier: BSD-3-Clause
 *
 * Copyright © 2025 Keith Packard
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 *
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 *
 * 2. Redistributions in binary form must reproduce the above
 *    copyright notice, this list of conditions and the following
 *    disclaimer in the documentation and/or other materials provided
 *    with the distribution.
 *
 * 3. Neither the name of the copyright holder nor the names of its
 *    contributors may be used to endorse or promote products derived
 *    from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
 * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
 * COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
 * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
 * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
 * OF THE POSSIBILITY OF SUCH DAMAGE.
 */
